Games with guaranteed scores and waiting moves

Combinatorial scoring games, with the property ‘extra pass moves for a player will do him no harm’, are characterized. The characterization involves an order embedding of Conway’s normal play games, and we call our class the universe of Guaranteed scoring games. Also, we give a theorem for comparing guaranteed games with scores (numbers) which extends Ettinger’s work on Dicot scoring games.     

Constrained Extremum Problems and Image Space Analysis–Part I: Optimality Conditions

Image space analysis is a new tool for studying scalar and vector constrained extremum problems as well as generalized systems. In the last decades, the introduction of image space analysis has shown that the image space associated with the given problem provides a natural environment for the Lagrange theory of multipliers and that separation arguments turn out to be a fundamental mathematical tool for explaining, developing and improving such a theory. This work, with its 3 parts, aims at contributing to describe the state-of-the-art of image space analysis for constrained optimization and to stress that it allows us to unify and generalize the several topics of optimization. In this 1st part, after a short introduction of such an analysis, necessary and sufficient optimality conditions are treated. Duality and penalization are the contents of the 2nd part. The 3rd part deals with generalized systems, in particular, variational inequalities and Ky Fan inequalities. Some further developments are discussed in all the parts.     

Multi-scale Fractured Coal Gas–Solid Coupling Model and Its Applications in Engineering Projects

With coal mining entering the geological environment of “high stress, rich gas, strong adsorption and low permeability,” the difficulty of joint coal and gas extraction clearly augments, the risk of solid–gas coupling dynamic disasters greatly increases, and the underlying mechanisms become more complex. In this paper, based on the characteristics of coal’s multi-scale structure and spatiotemporal variation, the multi-scale fractured coal gas–solid coupling model (MSFM) was built. In this model, the interaction between coal matrix and its fractures and the mechanical characteristics of gas-bearing coal were considered, as well as their coupling relationship. By MATLAB software, the stress–damage–seepage numerical computation programs were developed, which were applied into Comsol Multiphysics to simulate gas flow caused by coal mining. The simulation results showed the spatial variability of coal elastic modulus and cross-flow behaviors of coal seam gas, which were superior to the results of traditional gas–solid coupling model. And the numerical results obtained from MSFM were closer to the measured results in field, while the computation results of traditional model were slightly higher than the measured results. Furthermore, the MSFM in a large scale was verified by field engineering project.     

Optimization of Mayer Problem with Sturm–Liouville-Type Differential Inclusions

The present paper studies a new class of problems of optimal control theory with Sturm–Liouville-type differential inclusions involving second-order linear self-adjoint differential operators. Our main goal is to derive the optimality conditions of Mayer problem for differential inclusions with initial point constraints. By using the discretization method guaranteeing transition to continuous problem, the discrete and discrete-approximation inclusions are investigated. Necessary and sufficient conditions, containing both the Euler–Lagrange and Hamiltonian-type inclusions and “transversality” conditions are derived. The idea for obtaining optimality conditions of Mayer problem is based on applying locally adjoint mappings. This approach provides several important equivalence results concerning locally adjoint mappings to Sturm–Liouville-type set-valued mappings. The result strengthens and generalizes to the problem with a second-order non-self-adjoint differential operator; a suitable choice of coefficients then transforms this operator to the desired Sturm–Liouville-type problem. In particular, if a positive-valued, scalar function specific to Sturm–Liouville differential inclusions is identically equal to one, we have immediately the optimality conditions for the second-order discrete and differential inclusions. Furthermore, practical applications of these results are demonstrated by optimization of some “linear” optimal control problems for which the Weierstrass–Pontryagin maximum condition is obtained.     

The Strong Convergence of Subgradients of Convex Functions Along Directions: Perspectives and Open Problems

In this note, some questions concerning the strong convergence of subgradients of convex functions along a given direction are recalled and posed. It is shown that some open problems in literature are linked to that of the existence of limits of subgradients from subdifferentials along a given segment.     

Vortex Shedding: A Review on Flat Plate

Flat plates, both single and in tandem or side by side arrangement, are widely used in many engineering applications. Despite vast investigations of the flow structures and wakes downstream of these bluff bodies, this unsteady phenomenon yet remains a fundamental issue in many industrial applications. This paper reviews the state of the art concerning the flow over flat plates in different arrangements focusing on plates normal to the flow. Turbulent wake regions are discussed for the flat plates in side by side or tandem arrangement. Numerical studies are reviewed with emphasis on the realized turbulent models. The effect of the chosen turbulence model on the prediction of the wake region is discussed.     

Consistency requirements and pattern methods in cost sharing problems with technological cooperation

Using the discrete cost sharing model with technological cooperation, we investigate the implications of the requirement that demand manipulations must not affect the agents’ shares. In a context where the enforcing authority cannot prevent agents (who seek to reduce their cost shares) from splitting or merging their demands, the cost sharing methods used must make such artifices unprofitable. The paper introduces a family of rules that are immune to these demand manipulations, the pattern methods. Our main result is the characterization of these methods using the above requirement. For each one of these methods, the associated pattern indicates how to combine the technologies in order to meet the agents’ demands. Within this family, two rules stand out: the public Aumann–Shapley rule, which never rewards technological cooperation; and the private Aumann–Shapley rule, which always rewards technology providers. Fairness requirements imposing natural bounds (for the technological rent) allow to further differentiate these two rules.     

Static Charge Susceptibility in the <Emphasis Type="Italic">t-J-V</Emphasis> Model

We describe the static charge susceptibility and correlation function of the charge density in the twodimensional t-J-V model based on the method of equations of motion for the relaxation functions of the Hubbard operators. We obtain the dependence of the susceptibility and correlation function on the hole concentration and temperature. Charge density waves can develop if the intersite Coulomb interaction is sufficiently strong.